function ajouter(){
 nouvel_element = new Option(document.formulaire.ip.value,document.formulaire.ip.value,false,false);
 document.formulaire.liste.options[document.formulaire.liste.length] = nouvel_element;
 document.formulaire.ip.value = "";
}
function effacer(){
var compteselect=0;
	for(yo=0;yo<document.formulaire.liste.length;yo++){
		if(document.formulaire.liste.options[yo].selected == true){
		compteselect++;
		}
		if(compteselect>0){
			for(yo=0;yo<document.formulaire.liste.length;yo++){
				if(document.formulaire.liste.options[yo].selected == true){
				document.formulaire.liste.options[yo] = null;
				}
			}
		effacer();
		}
	}
}